let fs = require('fs');
let buf = '';

process.stdin.on('readable', function() {
    let chunk = process.stdin.read();
    if (chunk) buf += chunk.toString();
});

process.stdin.on('end', function() {
    let t = buf.split(" ").map(function(x){return parseInt(x);});
    let prices = [0, 4, 4.5, 5, 2, 1.5];
    console.log(`Total: R$ ${(prices[t[0]] * t[1]).toFixed(2)}`);
});